-
1 эквивалентность категорий
Mathematics: equivalence of categoriesУниверсальный русско-английский словарь > эквивалентность категорий
-
2 эквивалентность категорий
еквівале́нтність катего́рійРусско-украинский политехнический словарь > эквивалентность категорий
-
3 эквивалентность категорий
еквівале́нтність катего́рійРусско-украинский политехнический словарь > эквивалентность категорий
-
4 эквивалентность категорий
Русско-английский словарь по электронике > эквивалентность категорий
-
5 эквивалентность категорий
Русско-английский словарь по радиоэлектронике > эквивалентность категорий
-
6 эквивалентность категорий
Русско-английский научно-технический словарь Масловского > эквивалентность категорий
-
7 эквивалентность
астр., матем., физ.еквівале́нтність, -ності, рівнозна́чність, -ності- семантическая эквивалентностьасимптоти́ческая эквивале́нтность — асимптоти́чна еквівале́нтність
- собственная эквивалентность
- эквивалентность автоматов
- эквивалентность категорий
- эквивалентность преобразований
- эквивалентность состояний
- элементарная эквивалентность -
8 эквивалентность
астр., матем., физ.еквівале́нтність, -ності, рівнозна́чність, -ності- семантическая эквивалентностьасимптоти́ческая эквивале́нтность — асимптоти́чна еквівале́нтність
- собственная эквивалентность
- эквивалентность автоматов
- эквивалентность категорий
- эквивалентность преобразований
- эквивалентность состояний
- элементарная эквивалентность
См. также в других словарях:
ЭКВИВАЛЕНТНОСТЬ КАТЕГОРИЙ — расширение понятия изоморфизма категорий, обусловленное прежде всего наличием классов изоморфных объектов. Две категории и наз. эквивалентными, если существуют такие одноместные ковариантные функторы и что произведение FG естественно эквивалентно … Математическая энциклопедия
МОРИТЫ ЭКВИВАЛЕНТНОСТЬ — отношение эквивалентности на классе всех колец, определяемое следующим образом: кольца Rи Sназ. Морита эквивалентными, если категории левых (правых) В и S модулей эквивалентны. Важнейший пример М. э. колец: кольцо Rи кольцо всех матриц над ним.… … Математическая энциклопедия
Схема (математика) — В алгебраической геометрии схема это абстракция, позволяющая связать единым образом коммутативную алгебру и дифференциальную геометрию и переносить идеи из одной области в другую. В первую очередь понятие схемы позволяет перенести… … Википедия
Сопряжённые функторы — в математике и в частности в теорий категорий это пара функторов, состоящих в определённом соотношении между собой. Сопряжённые функторы часто встречаются в разных областях математики. Неформально функторы F и G сопряжены, если они… … Википедия
классификация — 3.14 классификация (classification): Схема, в соответствии с которой информация подразделяется на категории с целью применения соответствующих защитных мер против этих категорий. Примечание Соответствующие защитные меры применяют для следующих… … Словарь-справочник терминов нормативно-технической документации
ПОНЯТИЕ — общее имя с относительно ясным содержанием и сравнительно четко очерченным объемом. П. являются, напр., «химический элемент», «закон», «сила тяготения», «астрономия», «поэзия» и т.п. Отчетливой границы между теми именами, которые можно назвать П … Философская энциклопедия
Coq — (фр. coq петух) интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… … Википедия
АРАБСКАЯ ФИЛОСОФИЯ. ХАРАКТЕРНЫЕ ЧЕРТЫ — Классическую арабскую философию отличает полемический дух. Великими спорщиками были первые мутакаллимы (от араб. мутакаллимн говорящие ) мутазилиты (от араб. му тазила обособившиеся ). Этот этап развития калама (от араб. калм речь , не смешивать… … Энциклопедия Кольера
МЕРА — филос. категория, выражающая диалектич. единство качеств, и количеств. характеристик объекта. Качество любого объекта органически связано с оп редел. количеством. В рамках данной М. количеств. характеристики могут меняться за счёт… … Философская энциклопедия
ЛЕСЬНЕВСКИЙ — (Leśniewski), Станислав (18 марта 1886 – 13 мая 1939) – польский логик, проф. Варшавского ун та (с 1919). Большое внимание Л. уделял вопросам, связанным с логич. парадоксами. Разработанная им теория семантич. категорий близка к типов теории… … Философская энциклопедия
Арифметика — Ганс Себальд Бехам. Арифметика. XVI век Арифметика (др. греч. ἀ … Википедия